1. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
المؤلف: Matthias Baaz, Andrei Voronkov )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514

